This study was aimed at examining the impacts of the Sharing economy on the individual and community Quality of Life and wellbeing by looking at their associated influencing factors using Village Savings and Loans Associations as a model of sharing economy in Malawi. An online community-based cross-sectional study design was conducted from November 2020 through January 2021. In the survey, 402 Village Savings and Loans Associations members from the Mzuzu City area participated, recruited using snowball and respondent-driven sampling techniques. The (...) sample size was computed using a single population proportion using the Yamane formula. Descriptive statistics and ordinal logistic regression model techniques were also employed. Additionally, we used the Chi-Square test, two-way ANOVA, and Ordinal regression model to determine statistical associations between socioeconomic data and QOL and wellbeing variables with a 5% level of significance. On the aspect of community wellbeing, the findings of our study indicated that income provided members with options to live a better QOL and wellbeing within the community by either facilitating payment for better education, eating healthier foods, acquiring assets, etc. Further, the absence of discrimination provided a platform for voice, inclusion, and social trust, enhancing freedom of expression. We also found that education facilitated better earnings and knowledge of public health-related issues. As for the contribution to the sharing economy, our study has emphasized the role played by trust in enhancing sharing economy. We recommend and encourage people to join these VSLAs so as to improve their QOL and wellbeing. However, there is a need to replicate the study on a larger scale to validate our study findings for effective policy formulation and implementation geared to improving the overall quality of people’s lives. Based on these findings, we further recommend that authorities reinstate programs like National Strategy for Financial Inclusion 2016–2020 and Savings and Loan Groups Best Practice Guidelines 2016–2017 that could further enhance the future of VSLAs, which are vital for QOL and community wellbeing of the people in developing countries like Malawi. (shrink)

Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...) context was called. This theory gave a justification for the validity of what we todayexpress through the formulae ¬ and ¬. Hugh MacColl and, more recently, Storrs McCall searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (), the structural rules of which allow the Proponent to develop winning strategies not only for the above-mentioned connexive theses but also for ¬ and ¬. Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form. (shrink)

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory (CTT) has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT- rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope (...) that the following paper will contribute to a better understanding of the dialogical notion of meaning.La bibliografía reciente sobre lógica dialógica, estudia el caso de tonk y la noción de armonia en el contexto de una teoría del significado basado en reglas. Ahora bien, desde la publicación de tales textos, la teoría dialógica ha sido vinculada con la Teoría Constructiva de Tipos (CTT). El objetivo principal del presente artículo es mostrar que, desde un punto de vista dialógico, la armonía de las reglas de la CTT es consecuencia de un nivel más fundamental de significado caracterizado por la independencia de los jugadores. Esperamos que el presente trabajo contribuya a una mejor comprensión de la nocion dialógica de significado. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Many of the discussions about conditionals can best be put as follows:can those conditionals that involve an entailment relation be formulatedwithin a formal system? The reasons for the failure of the classical approachto entailment have usually been that they ignore the meaning connectionbetween antecedent and consequent in a valid entailment. One of the firsttheories in the history of logic about meaning connection resulted from thestoic discussions on tightening the relation between the If- and the Then-parts of conditionals, which in this (...) context was called συναρτησις(connection). This theory gave a justification for the validity of what we todayexpress through the formulae ¬(a → ¬ a) and ¬(¬ a → a). Hugh MacColl and, more recently, Storrs McCall (from 1877 to 1906 and from1963 to 1975 respectively) searched for a formal system in which the validity ofthese formulae could be expressed. Unfortunately neither of the resulting systems is very satisfactory. In this paper we introduce dialogical games with the help of a new connexive If-Then (“→”), the structural rules of which allow the Proponent to develop (formal) winning strategies not only for the above-mentioned connexive theses but also for (a → b) → ¬(a → ¬ b) and (a → b) → ¬(¬ a → b). Further on, we developthe corresponding tableau systems and conclude with some remarks on possibleperspectives and consequences of the dialogical approach to connexivity including the loss of uniform substitution leading to a new concept of logical form. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for the studies (...) of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in the relation between logic and law. The perspectives to be discussed involve the interface of the following studies.

The main aim of the present paper is to show that, if we follow the dialogical insight that reasoning and meaning are constituted during interaction, and we develop this insight in a dialogical framework for Martin-Löf's Constructive Type Theory, a conception of knowledge emerges that has important links with Robert Brandom's (1994, 2000) inferential pragmatism. However, there are also some significant differences that are at center of the dialogical approach to meaning. The present paper does not discuss explicitly phenomenology, however, (...) one might see our proposal as setting the basis for a further study linking phenomenology and the dialogical conception of meaning – the development of such a link is part of several ongoing researches. (shrink)

Employing Constructive Type Theory Constructive Type Theory, we provide a logical analysis of[aut]Ibn SīnāIbn Sīnā’sIbn Sīnā descriptional propositions. Compared to its rivals, our analysis is more faithful to the grammatical subject-predicate structure of propositions and can better reflect the morphological features of the verbs that extend time to intervals. We also study briefly the logical structure of some fallacious inferences that are discussed by Ibn Sīnā. The CTT-framework makes the fallacious nature of these inferences apparent.

We now move to the demonstration of the left-to-right direction of the equivalence result. Let us assume that there is a winning $$\mathbf {P}$$ P -strategy in the dialogical game for $$\varphi $$ φ.

RésuméCette première étude permet notamment de dégager ce résultat épistémologique: les différentes formes d’“inférence co-relationnelle” connues dans la jurisprudence islamique sous le nom de qiyās représentent une forme innovante et sophistiquée de raisonnement qui permet non seulement d'avoir une conception épistémologique plus claire du raisonnement légal en général, mais aussi de produire une mécanique bien huilée pour le “raisonnement parallèle”; cette mécanique du “raisonnement parallèle” peut être déployée selon un large spectre dans différents cadres de résolution de problèmes et ne (...) semble pas se réduire aux formes standard de l'argumentation analogique étudiées en philosophie des sciences contemporaine. Nous n'aborderons cependant dans la présente étude que le cas de la dénommée “inférence co-relationnelle du facteur occasionnel”, et ce seulement dans le contexte de la jurisprudence islamique. (shrink)

La réflexion philosophique sur la non-existence est une thématique qui a été abordée au commencement même de la philosophie et qui suscite, depuis la publication en 1905 de « On Denoting » par Russell, les plus vifs débats en philosophie analytique. Cependant, le débat féroce sur la sémantique des noms propres et des descriptions définies qui surgirent suite à la publication du « On Referring » par Strawson en 1950 n’engagea pas d’étude systématique de la sémantique des fictions. En fait, (...) le développement systématique d’un lien qui articule approches logiques, philosophiques et littéraires de la fiction devait attendre les travaux de John Woods publiés en 1974 dans son livre The Logic of Fiction : A Philosophical Sounding of Deviant Logic. Un des enjeux les plus excitants du livre de Woods se situe au niveau de l’interaction entre les points de vue internalistes ou interne-à-l’histoire (principalement pragmatiques) et les points de vue externalistes ou externe-à-la-fiction (principalement sémantiques). Sur ce point, Woods fut le premier à formuler une sémantique pour l’opérateur de fiction à lire comme « selon l’histoire… » en relation à la notion logique de portée, ce qui permettait l’étude de l’internalisme et de l’externalisme. Suite au livre de Woods, loin de s’essouffler, les débats trouvaient une nouvelle impulsion. Le fait pertinent pour notre article est que la tradition phénoménologique également, l’étude de la fiction a joué un rôle central. En effet, l’une des problématiques les plus sujettes à controverses dans l’intentionnalité est celle de l’indépendance à l’existence, c’est-à-dire le fait que les actes intentionnels n’ont pas besoin d’être forcément dirigés vers un objet existant. Influencée par les travaux de Roman Ingarden (1893-1970), l’un des plus importants disciples de Husserl, Amie L. Thomasson développe le concept phénoménologique de dépendance ontologique en vue d’expliquer les processus de références inter- et transfictionnels – dans le contexte de l’interprétation littéraire par exemple. L’enjeu essentiel de cet article est de proposer une reconstruction multimodale bi-dimensionnelle de la théorie des personnages fictionnels de Ingarden-Thomasson. Cette théorie qui entend prendre au sérieux le fait que les fictions sont des créations montre la voie pour une articulation entre les approches internalistes et externalistes. Nous motivons certains changements quant à l’approche artéfactuelle - incluant une sémantique appropriée pour l’opérateur de fictionalité qui, nous l’espérons, éveillera l’intérêt des théoriciens de la littérature. L’article est à d’autres égards un panorama de la façon dont différents concepts d’intentionnalité pourraient fonder différentes sémantiques formelles pour la fictionalité. Nous proposerons enfin un cadre dialogique qui est une extension modale d’un certain système de preuve développé par Matthieu Fontaine et Juan Redmond. Le cadre dialogique développe la contrepartie inférentielle de la sémantique bi-dimensionnelle introduite par Shahid Rahman et Tero Tulenheimo dans un article récent. (shrink)

RésuméAristote n'a pas développé une théorie de la quantification du prédicat, mais une étude récente de Hasnawi a montré qu'Ibn Sīnā a consacré à celle-ci une étude rigoureuse. Assumant la structure aristotélicienne sujet-prédicat, Ibn Sīnā qualifie les propositions qui comportent un prédicat quantifié, de propositions déviantes. Une conséquence de cette approche avicennienne est que la seconde quantification est absorbée par le prédicat. La distinction claire ainsi opérée entre un sujet quantifié, qui pose le domaine de la quantification, et une partie (...) prédicative, qui construit une proposition sur ce domaine, correspond structurellement à la distinction, faite dans la théorie constructive des types, entre le type des ensembles et le type des propositions.Aristote n'a pas non plus combiné son analyse logique de la quantification avec sa théorie ontologique des relations ou de l’égalité. Ibn Sīnā, en revanche, a utilisé les syllogismes qui nécessitent une logique de l’égalité et il a examiné des cas où la quantification se combine, via l’égalité, avec des termes singuliers. En outre, ces réflexions sont essentielles pour sa théorie des nombres qui est fondée sur l'interaction entre l’un et le multiple. Lorsqu'on combine la théorie métaphysique de l’égalité telle qu'on la trouve chez Ibn Sīnā avec son travail sur la quantification du prédicat, il en résulte tout naturellement une logique de l’égalité. En effet, l'interaction entre la quantification du prédicat et l’égalité peut être appliquée aux exemples de syllogismes mentionnés par Ibn Sīnā dans lesquels ces notions interviennent. En utilisant les instruments formels fournis par la théorie constructive des types de Martin-Löf, cet article établit des liens entre la métaphysique d'Ibn Sīnā et son travail logique, liens qui ont été discutés en relation avec d'autres sujets par Thom et Street. Ibn Sīnā n'a pas développé une logique de l'identité, mais il a développé les moyens conceptuels de le faire. (shrink)

This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...) studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī’s classification of correlational inferences of the occasioning factor. The second part of the volume deliberates on the system of correlational inferences by indication and resemblance. The third part develops the main theoretical background of the authors’ work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. (shrink)

In her book Fiction and Metaphysics (1999) Amie Thomasson, influenced by the work of Roman Ingarden, develops a phenomenological approach to fictional entities in order to explain how non-fictional entities can be referred to intrafictionally and transfictionally, for example in the context of literary interpretation. As our starting point we take Thomasson’s realist theory of literary fictional objects, according to which such objects actually exist, albeit as abstract and artifactual entities. Thomasson’s approach relies heavily on the notion of ontological dependence, (...) but its precise semantics has not yet been developed. Moreover, the modal approach to the notion of ontological dependence underlying the Artifactual Theory has recently been contested by several scholars. The main aims of this paper are (i) to develop a semantic approach to the notion of ontological dependence in the context of the Artifactual Theory of fiction, and in so doing bridge a number of philosophical and logical gaps; (ii) to generalize Thomasson’s categorial theory of ontological dependence by reconstructing ontological categories of entities purely in terms of different structures of ontological dependence, rather than in terms of the basic kinds of entities the categorical entities depend on. (shrink)

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now (...) known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference. The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view. (shrink)

One of the epistemological results emerging from this initial study is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās, represent an innovative and sophisticated form of reasoning that not only provides new epistemological insights into legal reasoning in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical argumentation studied in contemporary (...) philosophy of science. However, in the present paper we will only discuss the case of so-called co-relational inferences of the occasioning factor and only in the context of Islamic jurisprudence. (shrink)

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

Recent literature on dialogical logic discusses the case of tonk and the notion harmony in the context of a rule-based theory of meaning. Now, since the publications of those papers, a dialogical version of constructive type theory has been developed. The aim of the present paper is to show that, from the dialogical point of view, the harmony of the CTT-rules is the consequence of a more fundamental level of meaning characterized by the independence of players. We hope that the (...) following paper will contribute to a better understanding of the dialogical notion of meaning. (shrink)

Recent work on the development of a dialogical approach to the logic of fiction stresses the notion of existence as choice. Moreover, this approach to existence has been combined with the notion of ontolog-ical dependence as deployed by A. Thomasson’s artifactual theory of fiction. In order to implement such a combination within the dialogical frame several predicates of ontological dependence have been de-fined. However, the definition of such predicates seems to lean on a model-theoretic semantics for mod-al logic after all. (...) The main aim of the present paper is to set a dialogical frame for the study of fictions in the context of the dialogical approach of CTT recently developed by S. Rahman and N. Clerbout where a fully-interpreted language is unfolded. We will herewith develop the idea that in such a setting fiction-al entities are understood as hypothetical objects, that is, objects (functions) the existence of which is dependent upon one or more hypotheses that restrict the scope of choices available. We will finish the paper by suggesting that this provides both a natural and genuinely dialogical way to understand R. Frigg’s take on scientific models as fictions and a new perspective on Thomasson’s notion of generic ontological dependence. Keywords: fiction, dialogues, dialogical logic, hypothetical objects, scientific models. (shrink)

The main aim of our paper is to implement Leibniz's analysis of the conditional right in the framework of a dialogical approach to Public Announcement Logic. According to our view, on one hand: PAL furnishes a dynamic epistemic operator which models communication exchange between different agents that seems to be very close to Leibniz understanding of the dynamics between the truth of a proposition and the knowledge of the truth of that proposition (Leibniz calls the latter certification of its truth); (...) on the other hand, the dialogical approach provides a semantics for the dynamic epistemic operator in the context of conditional right by means of which: (i) the exchange between agents leading to a public announcement amounts to the (contractual) interaction of commitments of both the benefactor and the beneficiary of a conditional right (ii) the notion of certification is understood as an action, namely as a move where the beneficiary asks the benefactor to stand to his commitments, (iii) some restrictions specific to the logical nature of the head and the tail of the conditional right can be implemented by combining PAL with some features of linear logic within the same theory of meaning. (shrink)

Despite the fact that it has been more than 40 years since Henry Corbin and Hossein Ziai pointed out that the work of Shihāb al-Dīn Suhrawardī (549/1155, 587/1191) has not yet been systematically studied, a thorough investigation of his work is still in its infancy. The present brief study, which aims to contribute to filling such a gap by further developing some of the points contained in Rahman & Seck's (2022) paper, articulates some remarks on the relevance of Suhrawardī's (...) epistemology of presence for contemporary studies on temporal logic. More specifically, we will focus our brief presentation on the fruitfulness of his postulate of the priority of experience of immediate knowledge discussed in the Ḥikmat al-Ishrāq and how this postulate is related to the concept of self-consciousness (وعي الذاتي).Thus the particularity of this study is that Suhrawardī's epistemology of presence, unlike contemporary temporal logic developed for example by Prior, emphasizes the temporalization of the instantiation of an event or the performance of an act rather than of the propositions that express that event or act. Moreover, in Suhrawardī's modal syllogistic, there is an analysis of contingency that differs from most contemporary authors and that also involves several dimensions of time. More generally, Suhrawardī's notion of direct knowledge offers new insights into the logical and ontological status of the now. (shrink)

The domain of Islamic thought and intellectual history boasts an important body of studies relevant to the Arabic philosophy of language, as well as a growing interest in Islamicate argumentation theory and practice. There remains, however, a dearth of volumes which pool research from both areas and examine them together. Filling this gap is more critical than ever. In our time, significant work is being conducted in argumentation theory, but little of it draws from, or relates to, the rich i...

info:eu-repo/semantics/publishedVersion.

Qiyās, or “correlational inference” (often glossed as “analogy”), comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause (or occasioning factor, or ratio legis) giving rise to a ruling in God’s Law. This was most often discussed (and disputed) under the rubric of “the (...) modes of causal justification” (masālik al-taʿlīl). Among these modes was the much debated test of dawarān (concomitance of presumed cause and effect). In brief, proponents of dawarān employed it to justify claims that a property (waṣf) occasioned the ruling (ḥukm) in an authoritative source-case (aṣl). In concert with other considerations, the demonstrated co-presence (ṭard) and co-absence (ʿaks) of property and ruling—that is, their concomitance “in existence” (wujūdan) and “in nonexistence” (ʿadaman)— was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation (ʿilliyya), the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false (within the framework of a classical truth-functional formal semantics), but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property (or phenomenon) and ruling (or effect) as types (concepts or propositions linguistically expressed by a sentence) as opposed to tokens (instantiations of the type; the real, ontological events that verify the proposition). Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla (arguably, the property or properties which provide the ruling’s material cause) and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl (causal justification) in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

In its origins Dialogical logic constituted the logical foundations of an overall new movement called the Erlangen School or Erlangen Constructivism that should provide a new start to a general theory of language and of science. In relation to the theory of language, according to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The constructive development of a scientific language was called the Orthosprache-project. Unfortunately, the (...) Orthosprache-project was not further developed and somehow seemed to fade away. Perhaps, one could say that one of the reasons is that the semantic links between dialogical logic, that was restricted to logical constants, and the more general linguistic aspirations of the Orthosprache were not sufficiently developed and then the new theory of meaning of dialogical logic seemed to be cut off from the project of setting the basis for a general theory of meaning.In the present paper we would like to contribute to precise one possible way in which a general dialogical theory of meaning could be linked to dialogical logic. More precisely, the main aim of the article is to set the basis for the meaning of elementary sentences in the context of dialogical interaction. (shrink)

Between 1906 and 1911, as a response to Betrand’s Russell’s review of La Science et l’Hypothèse, Henri Poincaré launched an attack on the movement to formalise the foundations of mathematics reducing it to logic. The main point is the following: the universality of logic is based on the idea that their truth is independent of any context including epistemic and cultural contexts. From the free context notion of truth and proof it follows that, given an axiomatic system, nothing new can (...) follow. One of the main strategies of Poincaré’s solution to this dilemma is based on the notions of understanding and of grasping the architecture of the propositions of mathematics. According to this view mathematic rigour does not reduce to “derive blindly” without gaps from axioms,mathematical rigour is, according to Poincaré, closely linked to the ability to grasp the architecture of mathematics and contribute to an extension of the meaning embedded in structures that constitute the architecture of mathematical propositions. The focus of my paper relates precisely to the notion of architecture and to the notion of understanding. According to my reconstruction, Poincaré’s suggestions could be seen as pointing out that understanding is linked to reason not only within a structure but reasoning about the structure. (shrink)

In its origins Dialogical logic constituted the logical foundations of an overall new movement called the Erlangen School or Erlangen Constructivism that should provide a new start to a general theory of language and of science. In relation to the theory of language, according to the Erlangen-School, language is not just a fact that we discover, but a human cultural accomplishment whose construction reason can and should control. The constructive development of a scientific language was called the Orthosprache-project. Unfortunately, the (...) Orthosprache-project was not further developed and somehow seemed to fade away. Perhaps, one could say that one of the reasons is that the semantic links between dialogical logic, that was restricted to logical constants, and the more general linguistic aspirations of the Orthosprache were not sufficiently developed and then the new theory of meaning of dialogical logic seemed to be cut off from the project of setting the basis for a general theory of meaning.In the present paper we would like to contribute to precise one possible way in which a general dialogical theory of meaning could be linked to dialogical logic. More precisely, the main aim of the article is to set the basis for the meaning of elementary sentences in the context of dialogical interaction. (shrink)

L’approche la plus influente de la logique des non-existences est celle provenant de la tradition Frege-Russell. L’un des plus importants dissidents à cette tradition, à ses débuts, était Hugh MacColl. C’est en relation avec la notion d’existence et avec les arguments impliquant des fictions, que le travail de MacColl montre une grande différence avec celui de ses contemporains. En effet, MacColl fut le premier à implémenter dans un système formel l’idée qu’introduire des fictions dans le domaine de la logique revient (...) à fournir un langage muni de sous-domaines avec différents types d’objets. Dans cet article, nous avançons quelques remarques sur la portée de la logique de MacColl sur les non-existences. Plus précisément, nous suggérons qu’il y a un lien conceptuel fort entre la notion de subsistance chez Russell et la notion d’existencesymbolique chez MacColl. (shrink)

L’approche la plus influente de la logique des non-existences est celle provenant de la tradition Frege-Russell. L’un des plus importants dissidents à cette tradition, à ses débuts, était Hugh MacColl. C’est en relation avec la notion d’existence et avec les arguments impliquant des fictions, que le travail de MacColl montre une grande différence avec celui de ses contemporains. En effet, MacColl fut le premier à implémenter dans un système formel l’idée qu’introduire des fictions dans le domaine de la logique revient (...) à fournir un langage muni de sous-domaines avec différents types d’objets. Dans cet article, nous avançons quelques remarques sur la portée de la logique de MacColl sur les non-existences. Plus précisément, nous suggérons qu’il y a un lien conceptuel fort entre la notion de subsistance chez Russell et la notion d’existencesymbolique chez MacColl. (shrink)

The work of Roshdi Rashed has set a landmark in many senses, but perhaps the most striking one is his inexhaustible thrive to open new paths for the study of conceptual links between science and philosophy deeply rooted in the interaction of historic with systematic perspectives. In the present talk I will focus on how a framework that has its source in philosophy of logic, interacts with some new results on the foundations of mathematics. More precisely, the main objective of (...) my brief remarks is to discuss some claims of the late Hintikka who brought forward the idea that a game-theoretical interpretation of the Axiom of Choice yields its meaning “evident”. More precisely I will show that if we develop Per Martin-Löf’s demonstration of the axiom within a dialogical setting, the claim of Hintikka can be upheld. However, the dialogical demonstration, shows that, contrary to the expectations of Hintikka, the meaning that the game-theoretical setting provides to the Axiom is compatible with constructivist rather than with classical tenets. (shrink)

The main aim of the present paper is to show that the recently developed dialogical approach to Martin-Löf’s Constructive Type Theory, called Immanent Reasoning, provides the means for distinguishing François Recanati’s process of free enrichment and saturation, meets his own objections against perspectives based on unarticulated constituents and opens a new venue to pragmatic modulation, where the speaker-receiver interaction is integrated into the notion of enrichment. In such a setting enrichment operates on proof-objects that make fully articulated event-propositions true. The (...) point is that distinguishing what makes a proposition true from the proposition made true offers a simple and clean way to avoid conflating the contextual elements that enrich a proposition with the proposition itself. Such a framework abounds in means for expressing reference structures such as anaphora, including time and/or location reference. Furthermore, the notion of dependent types of CTT and the associated formation rules allow for a straightforward analysis of composition of meaning at work in Recanati’s cases concerning occasion meaning as determined by context. The brand of dialogical contextualism, grounded on the play-level, advocated herewith is not a form of propositional syncretism. The framework offers a straightforward response to the failure of third excluded in some instances of faultless disagreement without giving up the notion of propositional content. More generally, this suggests an alternative way to tackle the interface pragmatics semantics underlying the notion of pragmatic modulation by integrating into the interface the dialogical game of asking and giving reasons. (shrink)